1
Cơ sở của các phương trình vi phân tuyến tính cấp hai
MATH009Lesson 3
00:00
Hãy tưởng tượng bước từ thế giới một chiều sang một phong cảnh hai chiều về chuyển động. Trong động lực học bậc nhất, chúng ta theo dõi sự tăng trưởng và suy giảm đơn giản. Nhưng để mô hình hóa chuyển động của con lắc hoặc sự rung của cầu treo, chúng ta cần đến Toán tử vi phân tuyến tính cấp hai. Trang này xây dựng 'lưới an toàn' toán học — những định lý đảm bảo nghiệm tồn tại — và cây cầu đại số cho phép chúng ta giải các bài toán vi phân bằng cách sử dụng những phương trình bậc hai đơn giản.

1. Toán tử vi phân tuyến tính

Chúng ta định nghĩa toán tử vi phân tuyến tính cấp hai $L$ tác động lên hàm số $\phi$ như sau:

$L[\phi] = \phi'' + p(t)\phi' + q(t)\phi$

Đối với phương trình thuần nhất $L[y] = 0$, thì Nguyên lý chồng chất nói rằng nếu $y_1$ và $y_2$ là các nghiệm, thì tổ hợp tuyến tính của chúng $y = c_1y_1(t) + c_2y_2(t)$ cũng là một nghiệm. Tính tuyến tính này là nền tảng của kỹ thuật kết cấu và xử lý tín hiệu.

Định lý 3.2.1: Tồn tại và duy nhất
Xét bài toán giá trị ban đầu $y'' + p(t)y' + q(t)y = g(t)$ với $y(t_0) = y_0, y'(t_0) = y_0'$. Nếu $p, q,$ và $g$ là liên tục trên một khoảng mở $I$ chứa $t_0$, thì tồn tại duy nhất một nghiệm $y = \phi(t)$ trên toàn bộ $I$.

2. Hệ số hằng số và rút gọn đại số

Khi hệ số là hằng số ($ay'' + by' + cy = 0$), ta giả sử nghiệm có dạng $y = e^{rt}$. Thay vào phương trình vi phân thu được Phương trình đặc trưng:

$ar^2 + br + c = 0$

Khi các nghiệm $r_1, r_2$ là thực và phân biệt, nghiệm tổng quát được tổng hợp như sau:

$y = c_1 e^{r_1 t} + c_2 e^{r_2 t}$

Ví dụ: Nghiệm phân biệt (Ví dụ 2 & 3)

Bài toán
Giải phương trình $y'' + 5y' + 6y = 0$ với điều kiện $y(0)=2, y'(0)=3$.
Lời giải
1. Phương trình đặc trưng: $r^2 + 5r + 6 = 0 \implies (r+2)(r+3)=0$. Nghiệm: $r_1=-2, r_2=-3$.
2. Nghiệm tổng quát: $y = c_1 e^{-2t} + c_2 e^{-3t}$.
3. Hằng số: Với $y(0)=2$ và $y'(0)=3$, ta giải hệ phương trình để tìm các hằng số cụ thể ứng với trạng thái vật lý này.

3. Phương trình chính xác và phương trình liên hợp

Một phương trình $P(x)y'' + Q(x)y' + R(x)y = 0$ là chính xác nếu nó có thể được rút gọn thành dạng $(P(x)y')' + (f(x)y)' = 0$. Để phân tích các phương trình này, ta sử dụng phương trình liên hợp:

$P\mu'' + (2P' - Q)\mu' + (P'' - Q' + R)\mu = 0$

🎯 Nguyên lý cốt lõi
Sự chuyển đổi từ giải tích sang đại số thông qua phương trình đặc trưng biến các tốc độ thay đổi động thành các điểm đại số tĩnh. Các hằng số $c_1$ và $c_2$ được xác định duy nhất bởi điều kiện ban đầu, đóng chặt quỹ đạo của hệ thống.
$c_1 = \frac{y_0' - y_0 r_2}{r_1 - r_2} e^{-r_1 t_0}, \quad c_2 = \frac{y_0 r_1 - y_0'}{r_1 - r_2} e^{-r_2 t_0}$